<?php namespace baidu\news;

const NAME='baidu';


class a
{
	
	static public function ruun()
	{
		echo 'baidu.com';
	}
}



function substr($a)
{
	echo 'ok';
}

echo \substr('abc',0,1);








 ?>